\frame
{
  \frametitle{BugReporter (interface)}
  BugReporter: object through which BugInstances are reported
  \B
  \item When a Detector is instantiated, its constructor gets
        a reference to a BugReporter
  \item The Detector remembers its BugReporter and uses it to
        emit warnings
  \item Usually, the BugReporter will save reported BugInstances
        in a BugCollection
  \E
}

